[workspace] Ensure we emit drag-end if we're in a drag during a destroy

Showing the window overlay relies on drag-end being emitted, so do so if we're
in a drag.

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 522c251c2961b72f061c1374a6ff7004592d3dec..e010e8dd16ef155cc92bf6f7c63e627ad5d134d4 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -204,6 +204,11 @@ WindowClone.prototype = {
         if (this._zoomLightbox)
             this._zoomLightbox.destroy();
 
+        if (this._inDrag) {
+            this.emit('drag-end');
+            this._inDrag = false;
+        }
+
         this.disconnectAll();
     },